Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
281	Cohesion in L2 German Speech Production Colleen A. Neary-Sundquist, West Lafayertte, IN ISSN 1470 – 9570 Add to Reading List Source URL: www.gfl-journal.de Language: English - Date: 2015-03-31 13:53:49 English as a foreign or second language Grammatical particle Cohesion Oral Proficiency Interview Modal logic Second-language acquisition Discourse marker Second language Conjunction Linguistics Parts of speech Modal particle
282	The Grammar of Polarity Particles in Romanian Donka F. Farkas UCSC 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Pragmatics Science Semantics Discourse analysis Propositional calculus Context Interpretation Proposition Modal logic Logic Linguistics Philosophy of language
283	“Sex Revolution and Psychosocial Disorder: A Historical Perspective on the Delusion of Medical Neutrality,” submitted by Robert Trundle, Ph.D., and Michael Vossmeyer, M.D., Bulletin Ind. Institute of the History of M Add to Reading List Source URL: www.asa3.org Language: English - Date: 2010-08-21 17:05:12 Philosophy of science Meta-ethics Dichotomies Evolutionary psychology Belief Modal logic Fact Is–ought problem Ethics Philosophy Science Ethology
284	Program KRAMASThe slots for the KRAMAS workshop are strictly limited to 25 minutes per paper. After 20 minutes, the session chairs will indicate that presentation time is over, leaving 5 minutes for questions. 8.4 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-09-04 07:34:00 Knowledge Modal logic Non-classical logic Philosophical logic Epistemic modal logic Argumentation theory Reason Logic Science Arguments
285	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
286	Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:33 Multi-agent systems Ethology Epistemic modal logic Modal logic Action theory Cognitive robotics Agent-based model Motivation Artificial intelligence Science Logic
287	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming
288	Modal Logic & Philosophy Philosophy Prelim UC Berkeley Logic Group Supervised by Prof. Wesley Holliday Logics Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Philosophy Logicians Analytic philosophers Metaphysicians Philosophical logic Epistemic modal logic Saul Kripke Johan van Benthem Possible world Logic Mathematical logic Modal logic
289	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
290	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory

UPDATE